philzook58's Repositories
100 repositories
ad-lens
Automatic Differentiation using Pseudo Lenses. Neat.
⭐ 20
🌐 Public
aoc-2018
No description
⭐ 1
🌐 Public
arduino
A holder for all my radio projects
⭐ 1
🌐 Public
arip
Automated Reasoning in Python
⭐ 1
🌐 Public
awesome-egraphs
An awesome list of e-graph resources
⭐ 271
🌐 Public
badgergame
No description
⭐ 1
🌐 Public
bap
Binary Analysis Platform
⭐ 1
🌐 Public
bap-notes
My notes on BAP (Binary Analysis Platform)
⭐ 3
🌐 Public
bap-primus-js
No description
⭐ 2
🌐 Public
basic-ass-shit
Simple Examples to show Haskell can do normal stuff too
⭐ 6
🌐 Public
bril
an educational compiler intermediate representation
⭐ 0
🌐 Public
cart_pole
A physical and virtual cartpole
⭐ 23
🌐 Public
Catlab.jl
A framework for applied category theory in the Julia language
⭐ 0
🌐 Public
chebfun-hask
Blits and Bloobles. An experiment.
⭐ 1
🌐 Public
ci_play
No description
⭐ 0
🌐 Public
compact-php
A proof of a finitary pigeon hole principle via compactness and the infinitary version, in Lean.
⭐ 0
🌐 Public
conal-ad
Trying to implement Conal Elliott's automatic differentiation
⭐ 1
🌐 Public
concat-template
A blank Stack project setup to use Comal Elliott's compiling to categories plugin
⭐ 1
🌐 Public
ConvexCat
Experiments
⭐ 4
🌐 Public
ConvoTracker_Server
No description
⭐ 0
🌐 Public
copyboot
A copy of a simple bootloader from thesis
⭐ 0
🌐 Public
coq-vector
Just fiddlin around. This is not of any interest to you.
⭐ 0
🌐 Public
cvxpy-helpers
some helper routines for modelling MIP in cvxpy
⭐ 5
🌐 Public
cybercat_talk_2020
No description
⭐ 1
🌐 Public
datalog-asp-tut
Datalog / Answer Set Programming tutorial
⭐ 0
🌐 Public
datalog-book
A book about datalog
⭐ 12
🌐 Public
Defense_Talk
January 13, 2017. Novel Probes of topological Matter in the Quantum Hall effect
⭐ 0
🌐 Public
demo_app
demo of ruby on rails
⭐ 1
🌐 Public
doodlescript
No description
⭐ 0
🌐 Public
drake
A planning, control, and analysis toolbox for nonlinear dynamical systems. More info at
⭐ 0
🌐 Public
duckegg
An experiment in using DuckDB for a datalog / egg
⭐ 28
🌐 Public
dynamic-analysis
⚙️ A curated list of dynamic analysis tools for all programming languages, binaries, and more.
⭐ 0
🌐 Public
dynload_fail
Minimal example of failure to dynlink
⭐ 0
🌐 Public
egg
egg is a flexible, high-performance e-graph library
⭐ 0
🌐 Public
egg-bench
No description
⭐ 2
🌐 Public
egg-smol
No description
⭐ 0
🌐 Public
egglog-rec
Rewriting engine competition benchmarks translated to egglog
⭐ 1
🌐 Public
egglog-z3
Z3 sort for egglog
⭐ 2
🌐 Public
egglog0
Datalog + Egg = Good
⭐ 66
🌐 Public
egglog0-talk
No description
⭐ 2
🌐 Public
egglogpy
Experiment in egglog python api
⭐ 3
🌐 Public
eggmt
Egraphs Modulo Theories
⭐ 18
🌐 Public
egraph
No description
⭐ 1
🌐 Public
EGraphs.jl
No description
⭐ 8
🌐 Public
egraphs2024-talk
No description
⭐ 7
🌐 Public
emt-egraphs2025
No description
⭐ 1
🌐 Public
eprover
No description
⭐ 0
🌐 Public
extraction-gym
benchmarking e-graph extraction
⭐ 1
🌐 Public
FartMachine10
A Core XY bot control systems with voice control and stuff
⭐ 0
🌐 Public
fib-anyon
An implementation of Fibonacci Anyons in Haskell
⭐ 22
🌐 Public
FlapPyBird-MPC
Model Predictive Control of a Flappy Bird Clone using Mixed Integer Programming
⭐ 80
🌐 Public
fpga
fpga stuff
⭐ 0
🌐 Public
ghidra2dwarf
🐉 Export ghidra decompiled code to dwarf sections inside ELF binary
⭐ 0
🌐 Public
gittest
No description
⭐ 0
🌐 Public
glpk-hs
Haskell bindings to glpk
⭐ 0
🌐 Public
hashlog
Datalog on a Hash Cons
⭐ 1
🌐 Public
haskell
A holder for most of my functional programming projects
⭐ 0
🌐 Public
hasktrash
Nothing to see here. Another Directory for haskell trash
⭐ 1
🌐 Public
helpful_robots
The Helpful Robots - A Game of Love
⭐ 0
🌐 Public
holpy
Implementation of higher-order logic in Python
⭐ 0
🌐 Public
holpy-wrapper
No description
⭐ 0
🌐 Public
isabelle-trash
what is up with isabelle?
⭐ 0
🌐 Public
ISO-497
Guide to the classification of Jokes, Jests, Goofs, and other humorous constructs
⭐ 0
🌐 Public
jsoo_dynload
No description
⭐ 0
🌐 Public
js_of_ocaml
Compiler from OCaml to Javascript.
⭐ 0
🌐 Public
julia_trash
general julia stuff
⭐ 0
🌐 Public
jupyterlite-demo
No description
⭐ 0
🌐 Public
knuckledragger
A Low Barrier Proof Assistant
⭐ 145
🌐 Public
Knuckledragger.jl
Julia Semi-Automated Proof Assistant
⭐ 7
🌐 Public
knuth-bendix-python
No description
⭐ 0
🌐 Public
knuth_programs
Pdfs of Knuth's literate programs
⭐ 0
🌐 Public
lambda-egglog
Exploring egraphs as ground completion with an eye towards lambdas and theories
⭐ 1
🌐 Public
lambo
fiddlins
⭐ 0
🌐 Public
laser_scan
a hot glued laser canner project
⭐ 0
🌐 Public
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
⭐ 2
🌐 Public
leftman
A robotic car to eventually machine learn on
⭐ 0
🌐 Public
lens-algebra
Type level algebraic "proofs" using lens combinators
⭐ 19
🌐 Public
lips-minikanren
No description
⭐ 0
🌐 Public
Marcel
No description
⭐ 0
🌐 Public
metadatalog
Metaprogramming Datalog with Prolog
⭐ 0
🌐 Public
metarational
No description
⭐ 0
🌐 Public
Metatheory.jl
General purpose metaprogramming and algebraic computation library for the Julia programming language
⭐ 2
🌐 Public
meteor-quill
Quill.js wrapped for Meteor
⭐ 0
🌐 Public
micro-wp
No description
⭐ 0
🌐 Public
ml5-library
Friendly machine learning for the web! 🤖
⭐ 0
🌐 Public
mmverify.py
Metamath verifier in Python
⭐ 0
🌐 Public
mrsketcho
a wordpress plugin for fast sketching
⭐ 1
🌐 Public
nand2coq
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
⭐ 58
🌐 Public
nand2tetris
Stuff for nand2tetris
⭐ 0
🌐 Public
nanobind_example
A nanobind example project
⭐ 0
🌐 Public
new-flesh
No description
⭐ 0
🌐 Public
node_laser_control
No description
⭐ 0
🌐 Public
not-bad-ccc
Another tact on compiling to categories without a plugin
⭐ 10
🌐 Public
ocaml_binder
No description
⭐ 0
🌐 Public
ocaml_z3_silly
A toy repo to figure out the z3 api
⭐ 0
🌐 Public
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
⭐ 0
🌐 Public
opencv
A holder for all my computer vision projects
⭐ 0
🌐 Public
osqp-haskell
Bindings to osqp from Haskell
⭐ 1
🌐 Public
parabola
No description
⭐ 1
🌐 Public
pcode2c
Convert low ghidra pcode to verifiable C
⭐ 22
🌐 Public